Видео ютуба по тегу Univalent Foundation

Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
Overview of Univalent Foundations - Vladimir Voevodsky
Overview of Univalent Foundations - Vladimir Voevodsky
Univalent Foundations of Mathematics - Vladimir Voevodsky
Univalent Foundations of Mathematics - Vladimir Voevodsky
The HoTTest Axiom of math
The HoTTest Axiom of math
Univalent Foundations: Redefining Equality in Mathematics
Univalent Foundations: Redefining Equality in Mathematics
How I became seduced by univalent foundations
How I became seduced by univalent foundations
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent foundations and the equivalence principle - Benedikt Ahrens
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Univalent Foundations Seminar - Steve Awodey
Univalent Foundations Seminar - Steve Awodey
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Computer-Assisted Proofs and Math. Understanding: the case of Univalent Foundations - Andrei Rodin
Computer-Assisted Proofs and Math. Understanding: the case of Univalent Foundations - Andrei Rodin
Univalent Foundations: Logic as Geometry
Univalent Foundations: Logic as Geometry
Univalent Foundations Seminar - Peter Lumsdaine
Univalent Foundations Seminar - Peter Lumsdaine
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
A New Foundation for Math | Homotopy Type Theory (HoTT)
A New Foundation for Math | Homotopy Type Theory (HoTT)